Int sqrt(1 x^4)